char* strchr(char* __s, int __c)
{// addr = 0x08048914
    goto __imp__strchr;
}

int feof(struct _IO_FILE* fp)
{// addr = 0x08048924
    goto __imp__feof;
}

int close(int __fd)
{// addr = 0x08048944
    goto __imp__close;
}

void perror(char* msg)
{// addr = 0x08048954
    goto __imp__perror;
}

int fprintf(struct _IO_FILE* fp, char* format)
{// addr = 0x08048964
    goto __imp__fprintf;
}

int fflush(struct _IO_FILE* fp)
{// addr = 0x08048984
    goto __imp__fflush;
}

void* malloc(int __size)
{// addr = 0x080489C4
    goto __imp__malloc;
}

int fscanf(struct _IO_FILE* fp, char* format)
{// addr = 0x080489E4
    goto __imp__fscanf;
}

__deregister_frame_info()
{// addr = 0x080489F4
    goto __imp____deregister_frame_info;
}

int getopt(int __argc, __caddr_t* __argv, char* __opts)
{// addr = 0x08048A14
    goto __imp__getopt;
}

char* strstr(char* __haystack, char* __needle)
{// addr = 0x08048A34
    goto __imp__strstr;
}

__libc_start_main()
{// addr = 0x08048A64
    goto __imp____libc_start_main;
}

void* memcpy(void* __dest, void* __src, int __n)
{// addr = 0x08048A84
    goto __imp__memcpy;
}

int fclose(struct _IO_FILE* fp)
{// addr = 0x08048A94
    goto __imp__fclose;
}

void exit(int __status)
{// addr = 0x08048AB4
    goto __imp__exit;
}

void free(void* __ptr)
{// addr = 0x08048AC4
    goto __imp__free;
}

void* memset(void* __s, int __c, int __n)
{// addr = 0x08048AE4
    goto __imp__memset;
}

char* strncpy(char* __dest, char* __src, int __n)
{// addr = 0x08048B04
    goto __imp__strncpy;
}

struct _IO_FILE* fopen(char* name, char* mode)
{// addr = 0x08048B14
    goto __imp__fopen;
}

int sprintf(char* dst, char* format)
{// addr = 0x08048B44
    goto __imp__sprintf;
}

int sprintf(char* dst, char* format)
{// addr = 0x08048B44
    goto __imp__sprintf;
}

// Statistics:
//       0 Register nodes
//       0 Temporaries nodes
//       0 Casts
//      40 Statements
//       0 Labels
//       0 Gotos
//      20 Blocks
//      40 Nodes
//       0 Assembly nodes
//       0 Unknown Types


